講義概要/Class Outline

情報科学の様々な場面で出現する命題論理について学ぶ。命題論理を理解し用いることは、情報科学の分野では非常に重要である。例えば、プログラム作成時における条件分岐を適切に扱うためには、命題論理の理解が欠かせない、本講義の主な内容は、命題、論理演算子、論理式、真理値表、同値、恒真式などと多岐にわたっている。これらの項目を限られた時間内に理解し、応用力をつけるためには実際に自分の手で演習問題を解くという作業が不可欠である。この科目では命題論理に関する各種の概念を理解し、それらに関する基礎的な問題を解けるようになることを目的とする。
 

講義計画 /Class Structure

回	内容
1	講義概要 講義概要と計画を説明する。
2	命題と真理値 命題と真理値について解説する。
3	論理演算子 否定、積、和、条件文、双条件文の各論理演算子について解説する。
4	命題論理式 命題論理式と論理演算子の優先順序について解説する。
5	真理値表（１） 真理値表の作成方法について解説する。
6	真理値表（２） 引き続き、真理値表の作成方法について解説する。
7	小テスト１ 第６回までの内容についてテストを行う。
8	補足と復習 小テストの解説ならびに補足と復習を行う。
9	同値（１） 同値の概念、ならびに代表的な同値論理式について解説する。
10	同値（２） ひきつづき、同値の概念、ならびに代表的な同値論理式について解説する。
11	恒真式と恒偽式 特殊な命題論理式である恒真式と恒偽式について解説する。
12	標準形 積和標準形と和積標準形について解説する。
13	小テスト２ 第８回から第１２回の内容についてテストを行う。
14	補足と復習 小テストの解説ならびに補足と復習を行う。